DEF=test
EXT=test
TESTDIR=.
RESULTDIR=.
KOMPILE_BACKEND=llvm
PREPARE=./prepare.sh
KOMPILE_FLAGS=--syntax-module TEST

include ../../../include/kframework/ktest.mak
